A theory of probabilistic automata, part 1
نویسنده
چکیده
In the book we present main concepts of probabilistic automata theory.
منابع مشابه
Verifying probabilistic systems: new algorithms and complexity results
The content of the dissertation falls in the area of formal verification of probabilistic systems. It comprises four parts listed below: 1. the decision problem of (probabilistic) simulation preorder between probabilistic pushdown automata (pPDAs) and finite probabilistic automata (fPAs); 2. the decision problem of a bisimilarity metric on finite probabilistic automata (fPAs); 3. the approximat...
متن کاملLinks between probabilistic automata and hidden Markov models: probability distributions, learning models and induction algorithms
This article presents an overview of Probabilistic Automata (PA) and discrete Hidden Markov Models (HMMs), and aims at clarifying the links between them. The first part of this work concentrates on probability distributions generated by these models. Necessary and sufficient conditions for an automaton to define a probabilistic language are detailed. It is proved that probabilistic deterministi...
متن کاملOn the Computational Complexity of Approximating Distributions by Probabilistic Automata (Part 2)
45 If we divide the path set for u i into 1 and 1 , deened as before, then if we let M be an arbitrary canonical matrix, we can show the following
متن کاملVerifying Soft Deadlines with Probabilistic Timed Automata
This paper describes work in progess performed as part of an ongoing project aimed at the development of theoretical foundations and model checking algorithms for the verification of soft deadlines in timed systems, that is, properties such as “there is a 90% chance that the message will be delivered within 5 time units”. The research is focussed on the probabilistic timed automata model [11], ...
متن کاملA Link Prediction Method Based on Learning Automata in Social Networks
Nowadays, online social networks are considered as one of the most important emerging phenomena of human societies. In these networks, prediction of link by relying on the knowledge existing of the interaction between network actors provides an estimation of the probability of creation of a new relationship in future. A wide range of applications can be found for link prediction such as electro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1507.05164 شماره
صفحات -
تاریخ انتشار 2015